101. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: (طهران)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
102. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
103. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامه‌نویسی کامپیوتر-- نحو ,زبانهای برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
104. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
105. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
106. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
107. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
108. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
109. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
110. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
111. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: (کرمان)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
112. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
113. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
114. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: (طهران)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
115. Foundations of programming languages
پدیدآورنده : Lee, Kent Derek
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L43F6
2017
116. Foundations of quantum programming
پدیدآورنده : Ying, Mingsheng
کتابخانه: (طهران)
موضوع : ، Quantum computers,، Programming languages )Electronic computers(
رده :
QA
76
.
889
.
Y56F6
117. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
118. Functional C
پدیدآورنده : Hartel, Pieter, Pieter Hartel, Henk Muller
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Functional Programming Languages,، Programming Languages)Electronic Computers(
رده :
QA
76
.
73
.
F9H3
119. Fundamentals of programming languages
پدیدآورنده : Horwitz, Ellis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
H67
1984
120. GAG, a practical compiler generator
پدیدآورنده : / Uwe Kastens, Brigitte Hutt, Erich Zimmermann
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
K349
,
1982
